Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 2, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 28, 29, 30, 31, 32, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 57, 58, 59 }

B grade: { 1, 3, 4, 5, 19, 20, 36, 37, 38, 52 }

C grade: { 21, 22, 23, 24, 25, 26, 27 }

F grade: { 33, 34, 35, 54, 55, 56 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 11, 12, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 52, 53, 57, 58, 59 }

B grade: { 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 47, 48, 49, 50, 51 }

C grade: { }

F grade: { 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 54, 55, 56 }

2.1.4 Maxima

A grade: { 4, 5, 6, 16, 36, 37, 38, 52, 53, 57, 58, 59 }

B grade: { 1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17 }

C grade: { }

F grade: { 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 54, 55, 56 }

2.1.5 FriCAS

A grade: { 5, 6, 7, 8, 9, 10, 16, 43, 44, 45, 46, 47, 48, 52, 53, 57, 58, 59 }

B grade: { 1, 2, 3, 4, 11, 12, 13, 14, 15, 17, 18, 19, 20, 36, 37, 38, 39, 40, 41, 42, 49, 50, 51 }

C grade: { }

F grade: { 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 54, 55, 56 }

2.1.6 Sympy

A grade: { 57, 58, 59 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 37, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 52, 53, 57, 58, 59 }

B grade: { 13, 14, 15, 17, 18, 36, 38, 51 }

C grade: { }

F grade: { 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 54, 55, 56 }

2.1.8 Mupad

A grade: { 57, 58, 59 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53 }

C grade: { }

F grade: { 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 54, 55, 56 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 113 89 120 168 0 96 89
normalized size 1 1.00 2.05 1.62 2.18 3.05 0.00 1.75 1.62
time (sec) N/A 0.071 0.817 0.280 0.323 0.541 0.000 0.334 0.350




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 83 67 97 134 0 73 69
normalized size 1 1.00 1.89 1.52 2.20 3.05 0.00 1.66 1.57
time (sec) N/A 0.066 0.345 0.274 0.330 0.475 0.000 0.365 0.256




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 63 45 68 91 0 53 49
normalized size 1 1.00 2.33 1.67 2.52 3.37 0.00 1.96 1.81
time (sec) N/A 0.087 0.159 0.228 0.330 0.518 0.000 0.560 0.253




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 44 24 31 53 0 24 23
normalized size 1 1.00 2.20 1.20 1.55 2.65 0.00 1.20 1.15
time (sec) N/A 0.056 0.054 0.248 0.323 0.489 0.000 0.597 0.183




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 26 14 16 22 0 13 13
normalized size 1 1.00 2.17 1.17 1.33 1.83 0.00 1.08 1.08
time (sec) N/A 0.020 0.024 0.204 0.336 0.501 0.000 0.445 0.172




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 47 41 50 54 0 32 27
normalized size 1 1.00 1.68 1.46 1.79 1.93 0.00 1.14 0.96
time (sec) N/A 0.013 0.093 0.525 0.416 0.556 0.000 0.422 0.216




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 32 40 78 35 0 44 46
normalized size 1 1.00 1.28 1.60 3.12 1.40 0.00 1.76 1.84
time (sec) N/A 0.047 0.077 0.396 0.426 0.610 0.000 0.534 0.236




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 42 100 128 53 0 56 59
normalized size 1 1.00 1.05 2.50 3.20 1.32 0.00 1.40 1.48
time (sec) N/A 0.061 0.131 0.522 0.429 0.519 0.000 0.685 0.273




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 49 121 180 70 0 67 78
normalized size 1 1.00 0.92 2.28 3.40 1.32 0.00 1.26 1.47
time (sec) N/A 0.067 0.172 0.507 0.428 0.449 0.000 0.289 0.347




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 57 185 230 81 0 91 93
normalized size 1 1.00 0.86 2.80 3.48 1.23 0.00 1.38 1.41
time (sec) N/A 0.073 0.251 0.434 0.425 0.587 0.000 0.344 0.402




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 108 83 142 124 0 60 52
normalized size 1 1.00 1.89 1.46 2.49 2.18 0.00 1.05 0.91
time (sec) N/A 0.066 0.325 0.709 0.427 0.474 0.000 0.736 0.406




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 123 125 228 181 0 86 78
normalized size 1 1.00 1.40 1.42 2.59 2.06 0.00 0.98 0.89
time (sec) N/A 0.110 1.038 0.794 0.436 0.520 0.000 0.449 2.178




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 80 535 417 318 0 250 -1
normalized size 1 1.00 1.23 8.23 6.42 4.89 0.00 3.85 -0.02
time (sec) N/A 0.091 1.902 0.920 0.474 0.565 0.000 1.010 0.000




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 69 273 200 212 0 195 -1
normalized size 1 1.00 1.57 6.20 4.55 4.82 0.00 4.43 -0.02
time (sec) N/A 0.030 0.089 0.631 0.446 0.456 0.000 1.162 0.000




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 32 199 148 120 0 353 -1
normalized size 1 1.00 1.23 7.65 5.69 4.62 0.00 13.58 -0.04
time (sec) N/A 0.016 0.054 0.716 0.442 0.546 0.000 1.055 0.000




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 54 221 83 219 0 0 -1
normalized size 1 1.00 0.87 3.56 1.34 3.53 0.00 0.00 -0.02
time (sec) N/A 0.058 0.136 0.745 0.452 0.537 0.000 0.000 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 129 1141 150 427 0 304 -1
normalized size 1 1.00 1.59 14.09 1.85 5.27 0.00 3.75 -0.01
time (sec) N/A 0.102 0.428 0.811 0.452 0.605 0.000 1.930 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 139 1961 0 546 0 348 -1
normalized size 1 1.00 1.39 19.61 0.00 5.46 0.00 3.48 -0.01
time (sec) N/A 0.148 0.507 0.614 0.000 0.483 0.000 1.615 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 108 113 0 283 0 0 -1
normalized size 1 1.00 2.92 3.05 0.00 7.65 0.00 0.00 -0.03
time (sec) N/A 0.059 0.400 2.354 0.000 0.804 0.000 0.000 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 101 117 0 296 0 0 -1
normalized size 1 1.00 2.66 3.08 0.00 7.79 0.00 0.00 -0.03
time (sec) N/A 0.071 0.794 2.108 0.000 1.084 0.000 0.000 0.000




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 254 102 0 0 0 0 0 -1
normalized size 1 1.00 0.40 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.281 0.383 2.641 0.000 0.952 0.000 0.000 0.000




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 213 46 0 0 0 0 0 -1
normalized size 1 1.00 0.22 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.128 0.230 4.174 0.000 0.906 0.000 0.000 0.000




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 254 110 0 0 0 0 0 -1
normalized size 1 1.00 0.43 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.145 0.460 2.982 0.000 0.701 0.000 0.000 0.000




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 514 514 120 0 0 0 0 0 -1
normalized size 1 1.00 0.23 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.299 1.178 2.413 0.000 0.891 0.000 0.000 0.000




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 470 470 109 0 0 0 0 0 -1
normalized size 1 1.00 0.23 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.253 0.968 2.178 0.000 1.454 0.000 0.000 0.000




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 508 508 46 0 0 0 0 0 -1
normalized size 1 1.00 0.09 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.275 0.756 2.682 0.000 1.653 0.000 0.000 0.000




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 552 552 72 0 0 0 0 0 -1
normalized size 1 1.00 0.13 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.307 1.218 1.804 0.000 1.888 0.000 0.000 0.000




















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 48 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.170 1.950 0.000 0.944 0.000 0.000 0.000




















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 73 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.990 2.448 0.000 0.646 0.000 0.000 0.000




















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 156 178 0 0 0 0 0 -1
normalized size 1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.190 4.613 3.273 0.000 0.528 0.000 0.000 0.000




















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 126 0 0 0 0 0 -1
normalized size 1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.103 1.348 1.997 0.000 0.582 0.000 0.000 0.000




















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 60 0 0 0 0 0 -1
normalized size 1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.205 1.544 0.000 0.536 0.000 0.000 0.000




















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 84 84 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.057 0.615 1.204 0.000 0.833 0.000 0.000 0.000




















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 83 83 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 3.771 2.262 0.000 0.532 0.000 0.000 0.000




















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 84 84 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.105 7.711 4.686 0.000 0.606 0.000 0.000 0.000




















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 568 139 125 217 0 205 314
normalized size 1 1.00 5.31 1.30 1.17 2.03 0.00 1.92 2.93
time (sec) N/A 0.110 6.255 1.389 0.339 0.784 0.000 0.782 0.623




















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 152 99 95 155 0 134 234
normalized size 1 1.00 2.08 1.36 1.30 2.12 0.00 1.84 3.21
time (sec) N/A 0.047 0.628 1.368 0.336 0.551 0.000 0.474 0.417




















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 76 52 43 77 0 74 105
normalized size 1 1.00 2.24 1.53 1.26 2.26 0.00 2.18 3.09
time (sec) N/A 0.026 0.183 0.831 0.363 0.680 0.000 0.860 0.329




















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 125 162 0 607 0 194 588
normalized size 1 1.00 1.12 1.45 0.00 5.42 0.00 1.73 5.25
time (sec) N/A 0.407 1.727 0.272 0.000 0.736 0.000 0.657 0.789




















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 144 112 0 524 0 141 515
normalized size 1 1.00 1.71 1.33 0.00 6.24 0.00 1.68 6.13
time (sec) N/A 0.252 0.495 0.233 0.000 0.867 0.000 0.525 0.580




















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 106 77 0 308 0 98 135
normalized size 1 1.00 1.71 1.24 0.00 4.97 0.00 1.58 2.18
time (sec) N/A 0.155 0.205 0.214 0.000 0.672 0.000 0.346 0.485




















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 62 53 0 245 0 63 129
normalized size 1 1.00 1.17 1.00 0.00 4.62 0.00 1.19 2.43
time (sec) N/A 0.113 0.061 0.219 0.000 0.663 0.000 0.534 0.429




















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 39 0 154 0 48 36
normalized size 1 1.00 1.00 0.98 0.00 3.85 0.00 1.20 0.90
time (sec) N/A 0.070 0.024 0.180 0.000 0.529 0.000 0.451 0.287




















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 59 70 0 238 0 77 184
normalized size 1 1.00 1.04 1.23 0.00 4.18 0.00 1.35 3.23
time (sec) N/A 0.065 0.106 0.567 0.000 0.614 0.000 0.316 0.452




















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 56 72 0 235 0 77 766
normalized size 1 1.00 0.92 1.18 0.00 3.85 0.00 1.26 12.56
time (sec) N/A 0.107 0.095 0.457 0.000 0.492 0.000 0.520 0.652




















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 78 142 0 285 0 112 1147
normalized size 1 1.00 0.95 1.73 0.00 3.48 0.00 1.37 13.99
time (sec) N/A 0.261 0.113 0.488 0.000 0.676 0.000 0.637 0.840




















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 98 213 0 329 0 149 1218
normalized size 1 1.00 0.89 1.94 0.00 2.99 0.00 1.35 11.07
time (sec) N/A 0.398 0.232 0.436 0.000 0.617 0.000 0.609 0.945




















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 129 405 0 410 0 252 1639
normalized size 1 1.00 0.90 2.81 0.00 2.85 0.00 1.75 11.38
time (sec) N/A 0.588 0.308 0.378 0.000 1.131 0.000 0.662 1.258




















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 139 247 0 493 0 158 2677
normalized size 1 1.00 1.29 2.29 0.00 4.56 0.00 1.46 24.79
time (sec) N/A 0.171 0.445 0.691 0.000 0.612 0.000 0.530 4.179




















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 216 796 0 933 0 297 5917
normalized size 1 1.00 1.27 4.68 0.00 5.49 0.00 1.75 34.81
time (sec) N/A 0.319 1.079 0.775 0.000 0.754 0.000 0.381 8.803




















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 239 239 279 1912 0 1554 0 535 8167
normalized size 1 1.00 1.17 8.00 0.00 6.50 0.00 2.24 34.17
time (sec) N/A 0.504 2.025 0.823 0.000 0.754 0.000 0.378 12.384




















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 66 36 49 33 0 49 39
normalized size 1 1.00 2.13 1.16 1.58 1.06 0.00 1.58 1.26
time (sec) N/A 0.029 0.051 0.565 0.413 0.510 0.000 0.586 0.245




















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 67 53 71 52 0 45 27
normalized size 1 1.00 0.99 0.78 1.04 0.76 0.00 0.66 0.40
time (sec) N/A 0.039 0.045 0.635 0.410 0.538 0.000 0.509 0.291




















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 274 274 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.343 4.514 2.102 0.000 0.623 0.000 0.000 0.000




















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 220 220 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.226 2.770 1.316 0.000 0.532 0.000 0.000 0.000




















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 104 104 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 1.972 1.721 0.000 0.508 0.000 0.000 0.000




















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 15 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07
time (sec) N/A 0.010 1.504 1.238 0.000 0.568 0.000 0.000 0.000




















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.032 6.362 1.067 0.000 0.504 0.000 0.000 0.000




















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.040 6.238 4.447 0.000 0.505 0.000 0.000 0.000










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [39] had the largest ratio of [.6923]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 6 5 1.00 13 0.385







2 A 6 6 1.00 13 0.462







3 A 4 4 1.00 13 0.308







4 A 3 3 1.00 13 0.231







5 A 1 1 1.00 11 0.091







6 A 2 2 1.00 12 0.167







7 A 4 4 1.00 11 0.364







8 A 5 5 1.00 13 0.385







9 A 6 5 1.00 13 0.385







10 A 7 5 1.00 13 0.385







11 A 3 3 1.00 12 0.250







12 A 4 4 1.00 12 0.333







13 A 5 5 1.00 10 0.500







14 A 4 4 1.00 10 0.400







15 A 2 2 1.00 10 0.200







16 A 5 4 1.00 10 0.400







17 A 6 5 1.00 10 0.500







18 A 7 6 1.00 10 0.600







19 A 2 2 1.00 25 0.080







20 A 2 2 1.00 28 0.071







21 A 4 4 1.00 25 0.160







22 A 3 3 1.00 25 0.120







23 A 4 4 1.00 25 0.160







24 A 6 6 1.00 25 0.240







25 A 5 5 1.00 25 0.200







26 A 6 6 1.00 25 0.240







27 A 7 6 1.00 25 0.240







28 A 2 2 1.00 23 0.087







29 A 3 3 1.00 24 0.125







30 A 5 5 1.00 21 0.238







31 A 4 4 1.00 21 0.190







32 A 3 3 1.00 19 0.158







33 A 3 3 1.00 12 0.250







34 A 3 3 1.00 19 0.158







35 A 3 3 1.00 21 0.143







36 A 6 5 1.00 12 0.417







37 A 5 4 1.00 12 0.333







38 A 4 4 1.00 12 0.333







39 A 9 9 1.00 13 0.692







40 A 8 8 1.00 13 0.615







41 A 7 7 1.00 13 0.538







42 A 6 6 1.00 13 0.462







43 A 4 4 1.00 11 0.364







44 A 4 4 1.00 12 0.333







45 A 6 6 1.00 11 0.546







46 A 7 7 1.00 13 0.538







47 A 8 7 1.00 13 0.538







48 A 9 7 1.00 13 0.538







49 A 6 6 1.00 12 0.500







50 A 7 7 1.00 12 0.583







51 A 8 7 1.00 12 0.583







52 A 2 2 1.00 12 0.167







53 A 5 4 1.00 12 0.333







54 A 8 5 1.00 21 0.238







55 A 7 4 1.00 21 0.190







56 A 3 3 1.00 19 0.158







57 A 0 0 0.00 0 0.000







58 A 0 0 0.00 0 0.000







59 A 0 0 0.00 0 0.000